∂09-MAY-74  1323		THS,MJH
 If you don't approve by Sunday, I will have only a week left.

∂09-MAY-74  0449		P,JRA
 Yes, I would be interested. Thank you for asking.

∂08-MAY-74  1335		R,AJT
 The display version of FOL is now DFOL.DMP[1,3]. Comments solicited.a.

∂07-MAY-74  0951		1,KNM
 john as far as i know you haven't done anything about sending doctor's dilemna
 to harpers.  we discussed the idea just before i left and i think that we should
 follow through.  it is truly an ingenious piece and one which should be shared
 for the proper price.  however, i think we should first clean up a few of the rough
 spots and check spelling.  shall we get on it?-kasee
 
∂07-MAY-74  0641		CRE,BGB AT TTY21   0641
 ...ALSO, THE TURN TABLE DOES NOT WORK.  If I had to state only one reason
 why A.I. research is difficult it would be the fact that interfacing a
 Sandwich machine gets more hardware priority than Cart or Video related
 things.
 
∂07-MAY-74  0547		DOC,BGB AT TTY23   0547
 I HAD NO TROUBLE REACHING BERNIE CHERN (HE ANSWERED THE PHONE,
 8:10AM HIS TIME, 5:10AM OUR TIME). HE SAYS HE WILL CALL ME TOMORROW
 ON DETAILS OF FORMAL APLLICATION, BUT WHAT HE THINKS I SHOULD DO
 IS SEND IN A PROPOSAL FOR A $20K TO $30K EXTENSION ON FELDMAN'S ASSEMBLY 
 GRANT WITH RESPECT TO GEOMETRIC MODELING FOR VISION AND ASSEMBLY.
 HE SEND I SHOULD LOOK AT THE "WORK SHEET" THAT YOU AND JAF HAVE.
 						BGB
 
∂06-MAY-74  2339		1,DCL
 John- have you made your final move on the SRA ?-David

∂6-MAY-74  2046		network site OFF
 JI MEJ MAP 6-MAY-74 20:03  30641
 Farewell
 Location: OFFICE-1 <LJOURNAL>30641.NLS;xnls
 
 

∂05-MAY-74  0927		1,JAF
 There is a health proposal from Delaware that I asked you to referee.
 
∂04-MAY-74  0843		P,JRA
 another sodden thought on progposed structured LISP:
 there is a diresct and mechanical trnaslation of the obvious s-lisp
 version of MC-PAinter to the declarations and axioms of MCP*.AX, so
 proofs could be carried out with FOL. But reasoning in s-lisp, proofs
 are shorter since you can reason on abstract d.s. representations and notation is
 better.
∂03-MAY-74  2323		NET,GUE AT TTY124  network site USCT
 FOR SOME TIME, THE AP NEWS HAS NOT BEEN AVAILIBLE OVER THE NET.  THE SAME
 MESSAGE HAS BEEN PRINTED OUT FOR THE NEWS(WHEN RUNNING HOT OR APE).
 WHEN ,IF EVER, WILL THE AP NEWS BE AVAILIBLE AGAIN.  

                      ALAN KATZ---U.S.C.
                    USC-ECL(HOST 23)   MESSAGES CAN BE CREATED BY CREATING
                      A FILE WHICH BEGINS WITH @ IN MY DIRECTORY IF YOU
                  WANT TO ANSWER.
∂03-MAY-74  1615		THS,MJH
 John--The gold ring binder that I repossessed from your office has
 been returned to your bookcase, where I got it.  It now contains an
 updated version of my thesis.  PLEASE read it, SOON.	Jo
 
∂03-MAY-74  1200		DOC,TOB
 Meir Weinstein is here visiting today
 (Friday) and would like to talk with you
 later in the afternoon.
 
∂03-MAY-74  1059		1,JAF
 Recall that I left you a proposal to look at. jerry f.
 
∂03-MAY-74  1030		R,AJT
 Por causa ergonomics:
 	There is now a display-oriented version of FOL. It is FOL on [R,ajt].
 When started up it looks like normal FOL until it is given the magical command
 `DISPLAY <nothing>|<AXIOMS>|<THEOREMS>|<LABELS>|<DECLARATIONS>';
 If <nothing> then the proof window takes up the whole screen and things proceed
 normally from there. If it's something else then a second window is opened,
 labelled that alternative and those things are printed to that window as 
 appropriate. e.g. if you say `DISPLAY AXIOMS' then any axioms will get typed in the
 RHS window. FETCH and SHOW work in the normal way through the display. If you
 have two windows open, have done some proof and say `DISPLAY <nothing>' again, then
 the RHS window is flushed and the last five lines of your proof are refreshed into
 a full-screen window. `UNDISPLAY' returns you to normal FOL format.
 	The format is still fluid at the moment, awiting feedback from users(that
 means you!) about their preferences. So try it and see.
 	The system version of FOL and this FOL also have modal operators: for that see
 MFOL.NOT[R,AJT]. These features will be described in the new FOL manual which will
 appear soon.
 have fun. arthur.

∂02-MAY-74  1504		DOC,TOB
 NASA proposal underway.  I will have the
 suggested form for the proposal tomorrow,
 and finish a draft by the end of next week.
 Tom
 
∂01-MAY-74  1640		S,LES
 Management meeting on Wednesday at 1:30 PM.